$\forall$${\it e'}$$\geq$$e$.$P$(${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$${\it e'}$:E. $e$ $\leq$ ${\it e'}$  $\Rightarrow$ $P$(${\it e'}$)